Revisiting mu-puzzle. A case study in finite countermodels verification

© 2018, Springer Nature Switzerland AG. In this paper we consider well-known MU puzzle from Goedel, Escher, Bach: An Eternal Golden Braid book by D. Hofstadter, as an infinite state safety verification problem for string rewriting systems. We demonstrate fully automated solution using finite countermodels method (FCM). We highlight advantages of FCM method and compare it with alternatives methods using regular invariants

Characterizing Family Physicians Who Refer to Telepsychiatry in Ontario

INTRODUCTION: Telepsychiatry can improve access to psychiatric services for those who otherwise cannot easily access care. Family physicians are gatekeepers to specialized care in Ontario, so it is essential to understand predictors relating to referrals to telepsychiatry to better plan services and increase telepsychiatry adoption. METHODS: This study used an annual retrospective cross-sectional study design to compare physicians who referred their patients to telepsychiatry each year from fiscal year (FY) 2008 to FY 2016. A 1-year (FY 2016) comparison of family physicians who referred to telepsychiatry (FPTs) compared to family physicians who did not refer to telepsychiatry (FPNTs) matched (1:2) by region was also conducted. Finally, we used statistical modeling to understand the predictors of referring to telepsychiatry among physicians. RESULTS: Between FY 2008 and FY 2016, the number of patients receiving telepsychiatry increased from 925 visits to 13,825 visits. Thirty-two percent of Ontario primary care physicians referred to telepsychiatry in 2016. Several characteristics were notably different between FPTs and FPNTs: FPTs were more likely to be from a residence with less than 10,000 people, to have more nurse practitioners in the practice, and to be from a family health team than FPNTs. Rostered patients of FPTs were more likely to reside in rural areas, have more clinical complexity, and to utilize more mental health services compared to FPNTs. CONCLUSIONS: There has been an increase in the use of telepsychiatry by patients and family physicians over the study period, although there remains opportunity for significant growth. Family physicians who live in rural areas, are part of an FHT, have more NPs, with more rural and complex patients were more likely to refer to telepsychiatry. As recent pro-telemedicine policies support the growth of telepsychiatry, this study will serve as an important baseline

Coxiella burnetii Phagocytosis Is Regulated by GTPases of the Rho Family and the RhoA Effectors mDia1 and ROCK

The GTPases belonging to the Rho family control the actin cytoskeleton rearrangements needed for particle internalization during phagocytosis. ROCK and mDia1 are downstream effectors of RhoA, a GTPase involved in that process. Coxiella burnetii, the etiologic agent of Q fever, is internalized by the host´s cells in an actin-dependent manner. Nevertheless, the molecular mechanism involved in this process has been poorly characterized. This work analyzes the role of different GTPases of the Rho family and some downstream effectors in the internalization of C. burnetii by phagocytic and non-phagocytic cells. The internalization of C. burnetii into HeLa and RAW cells was significantly inhibited when the cells were treated with Clostridium difficile Toxin B which irreversibly inactivates members of the Rho family. In addition, the internalization was reduced in HeLa cells that overexpressed the dominant negative mutants of RhoA, Rac1 or Cdc42 or that were knocked down for the Rho GTPases. The pharmacological inhibition or the knocking down of ROCK diminished bacterium internalization. Moreover, C. burnetii was less efficiently internalized in HeLa cells overexpressing mDia1-N1, a dominant negative mutant of mDia1, while the overexpression of the constitutively active mutant mDia1-ΔN3 increased bacteria uptake. Interestingly, when HeLa and RAW cells were infected, RhoA, Rac1 and mDia1 were recruited to membrane cell fractions. Our results suggest that the GTPases of the Rho family play an important role in C. burnetii phagocytosis in both HeLa and RAW cells. Additionally, we present evidence that ROCK and mDia1, which are downstream effectors of RhoA, are involved in that processFil: Salinas Ojeda, Romina Paola. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Mendoza. Instituto de Histología y Embriología de Mendoza Dr. Mario H. Burgos. Universidad Nacional de Cuyo. Facultad de Cienicas Médicas. Instituto de Histología y Embriología de Mendoza Dr. Mario H. Burgos; ArgentinaFil: Ortiz Flores, Rodolfo Matias. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Mendoza. Instituto de Histología y Embriología de Mendoza Dr. Mario H. Burgos. Universidad Nacional de Cuyo. Facultad de Cienicas Médicas. Instituto de Histología y Embriología de Mendoza Dr. Mario H. Burgos; ArgentinaFil: Distel, Jesús Sebastián. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Mendoza. Instituto de Histología y Embriología de Mendoza Dr. Mario H. Burgos. Universidad Nacional de Cuyo. Facultad de Cienicas Médicas. Instituto de Histología y Embriología de Mendoza Dr. Mario H. Burgos; ArgentinaFil: Aguilera, Milton Osmar. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Mendoza. Instituto de Histología y Embriología de Mendoza Dr. Mario H. Burgos. Universidad Nacional de Cuyo. Facultad de Cienicas Médicas. Instituto de Histología y Embriología de Mendoza Dr. Mario H. Burgos; ArgentinaFil: Colombo, Maria Isabel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Mendoza. Instituto de Histología y Embriología de Mendoza Dr. Mario H. Burgos. Universidad Nacional de Cuyo. Facultad de Cienicas Médicas. Instituto de Histología y Embriología de Mendoza Dr. Mario H. Burgos; ArgentinaFil: Beron, Walter. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Mendoza. Instituto de Histología y Embriología de Mendoza Dr. Mario H. Burgos. Universidad Nacional de Cuyo. Facultad de Cienicas Médicas. Instituto de Histología y Embriología de Mendoza Dr. Mario H. Burgos; Argentin

A proposal for a coordinated effort for the determination of brainwide neuroanatomical connectivity in model organisms at a mesoscopic scale

In this era of complete genomes, our knowledge of neuroanatomical circuitry remains surprisingly sparse. Such knowledge is however critical both for basic and clinical research into brain function. Here we advocate for a concerted effort to fill this gap, through systematic, experimental mapping of neural circuits at a mesoscopic scale of resolution suitable for comprehensive, brain-wide coverage, using injections of tracers or viral vectors. We detail the scientific and medical rationale and briefly review existing knowledge and experimental techniques. We define a set of desiderata, including brain-wide coverage; validated and extensible experimental techniques suitable for standardization and automation; centralized, open access data repository; compatibility with existing resources, and tractability with current informatics technology. We discuss a hypothetical but tractable plan for mouse, additional efforts for the macaque, and technique development for human. We estimate that the mouse connectivity project could be completed within five years with a comparatively modest budget.Comment: 41 page

Conceptualizing pathways linking women's empowerment and prematurity in developing countries.

BackgroundGlobally, prematurity is the leading cause of death in children under the age of 5. Many efforts have focused on clinical approaches to improve the survival of premature babies. There is a need, however, to explore psychosocial, sociocultural, economic, and other factors as potential mechanisms to reduce the burden of prematurity. Women's empowerment may be a catalyst for moving the needle in this direction. The goal of this paper is to examine links between women's empowerment and prematurity in developing settings. We propose a conceptual model that shows pathways by which women's empowerment can affect prematurity and review and summarize the literature supporting the relationships we posit. We also suggest future directions for research on women's empowerment and prematurity.MethodsThe key words we used for empowerment in the search were "empowerment," "women's status," "autonomy," and "decision-making," and for prematurity we used "preterm," "premature," and "prematurity." We did not use date, language, and regional restrictions. The search was done in PubMed, Population Information Online (POPLINE), and Web of Science. We selected intervening factors-factors that could potentially mediate the relationship between empowerment and prematurity-based on reviews of the risk factors and interventions to address prematurity and the determinants of those factors.ResultsThere is limited evidence supporting a direct link between women's empowerment and prematurity. However, there is evidence linking several dimensions of empowerment to factors known to be associated with prematurity and outcomes for premature babies. Our review of the literature shows that women's empowerment may reduce prematurity by (1) preventing early marriage and promoting family planning, which will delay age at first pregnancy and increase interpregnancy intervals; (2) improving women's nutritional status; (3) reducing domestic violence and other stressors to improve psychological health; and (4) improving access to and receipt of recommended health services during pregnancy and delivery to help prevent prematurity and improve survival of premature babies.ConclusionsWomen's empowerment is an important distal factor that affects prematurity through several intervening factors. Improving women's empowerment will help prevent prematurity and improve survival of preterm babies. Research to empirically show the links between women's empowerment and prematurity is however needed

Activity of mevalonate pathway inhibitors against breast and ovarian cancers in the ATP-based tumour chemosensitivity assay

Previous data suggest that lipophilic statins such as fluvastatin and N-bisphosphonates such as zoledronic acid, both inhibitors of the mevalonate metabolic pathway, have anti-cancer effects in vitro and in patients. We have examined the effect of fluvastatin alone and in combination with zoledronic acid in the ATP-based tumour chemosensitivity assay (ATP-TCA) for effects on breast and ovarian cancer tumour-derived cells. Both zoledronic acid and fluvastatin showed activity in the ATP-TCA against breast and ovarian cancer, though fluvastatin alone was less active, particularly against breast cancer. The combination of zoledronic acid and fluvastatin was more active than either single agent in the ATP-TCA with some synergy against breast and ovarian cancer tumour-derived cells. Sequential drug experiments showed that pre-treatment of ovarian tumour cells with fluvastatin resulted in decreased sensitivity to zoledronic acid. Addition of mevalonate pathway components with zoledronic acid with or without fluvastatin showed little effect, while mevalonate did reduced inhibition due to fluvastatin. These data suggest that the combination of zoledronic acid and fluvastatin may have activity against breast and ovarian cancer based on direct anti-cancer cell effects. A clinical trial to test this is in preparation

Comprehensive Identification of Protein Substrates of the Dot/Icm Type IV Transporter of Legionella pneumophila

A large number of proteins transferred by the Legionella pneumophila Dot/Icm system have been identified by various strategies. With no exceptions, these strategies are based on one or more characteristics associated with the tested proteins. Given the high level of diversity exhibited by the identified proteins, it is possible that some substrates have been missed in these screenings. In this study, we took a systematic method to survey the L. pneumophila genome by testing hypothetical orfs larger than 300 base pairs for Dot/Icm-dependent translocation. 798 of the 832 analyzed orfs were successfully fused to the carboxyl end of β-lactamase. The transfer of the fusions into mammalian cells was determined using the β-lactamase reporter substrate CCF4-AM. These efforts led to the identification of 164 proteins positive in translocation. Among these, 70 proteins are novel substrates of the Dot/Icm system. These results brought the total number of experimentally confirmed Dot/Icm substrates to 275. Sequence analysis of the C-termini of these identified proteins revealed that Lpg2844, which contains few features known to be important for Dot/Icm-dependent protein transfer can be translocated at a high efficiency. Thus, our efforts have identified a large number of novel substrates of the Dot/Icm system and have revealed the diverse features recognizable by this protein transporter